mathematical induction inequality proof